#include "../include/uart.h"

    // 定义要输出的字符串
    char hello[] = "Hello OS\n";
    void kernel_main(void) {     //对于这里的函数，不能用static修饰，否则全局看不到
        uart_init();
//输出
        uart_puts(hello);
        while (1);
    }